算量软件在造价管理中的应用及存在的问题

探讨了当前项目造价领域软件应用的水平,分析了当前算量类软件在项目造价领域应用中存在的问题,指出了存在问题的原因,提出了推广算量类软件应重点做好的几个方面,以促进工程界信息化水平的发展。     

AMESim软件在气动伺服系统仿真中的应用

介绍了工程系统仿真高级建模环境(Advanced Modeling Environment for Performing Simula- tion of Engineenng Systems,AMESim)软件及其特点,在此基础上分别用传统的MATLAB软件和AMESim软件建立了气动伺服系统的模型,通过仿真分析其动态性能并比较两者的优缺点。结果表明,传统仿真软件MATLAB具有强大的数据处理能力,仿真迅速方便。AMESim软件在气动伺服系统动态仿真中有模型更加准确,图形显示方便,参数调节简单的优点,能较好地解决气动伺服系统的动态性能分析问题。     

全数字仿真系统在综合航电火控系统研制中的应用

在工程应用的基础上,介绍了全数字仿真系统在作战飞机综合航电火控系统研制过程中的应用,总结和分析了全数字仿真系统设计开发的原理、思路和方法。     

逆向工程的关键技术及其最新发展

阐述了逆向工程的基本概念。对数据采集、数据处理、模型重建等关键技术的最新发展，以及主要的商用逆向造型软件进行了介绍。     

用于二维非线性静磁场计算的微型计算机程序TRIM／PC

一、引言TRIM是一个相当成熟的解二维非线性静磁问题的计算程序,它在束流光学系统设计中起着越来越重要的作用。最原始的TRIM程序是A.M.Winslow(Lawrence Radi-ation Laboratory,Livermore,California)编写的,后来又经多次修改扩充,并能运行在CDC-6600,IBM-360等中型计算机上。近年来,微型计算机的应用有了很大的发展,IBM-PC/XT或其兼容机在国内已相当普及。在微型机上运行应用软件会更有利于软件的     

穆斯堡尔谱数据的离线磁带转储

本文介绍一种可将MSC-85型穆斯堡尔谱按KC标准/Intel Hex格式记录在音频盒式磁带上的谱数掘解调后,通过RS232C接口输进IBMPC微型计算机的谱仪离线数据转储技术。     

Metric-based reasoning about pseudocode design in the partial metrics system

The goal of the PMS project is to produce an environment in which the intelligent online assessment of the design for large-scale ADA programming projects is provided. The focus is on the representation of knowledge about the design process for an individual module. Changes in pseudocode complexity are measured in terms of partial metrics. These metrics can take the designers inferences about the pseudocode program structure into account when assessing module complexity. Next, a model of the stepwise refinement process is given which demonstrates how pseudocode elaboration decisions can be modelled in partial metric terms. Finally, the decisions associated with each refinement step for 17 example refinements taken from the computer science literature are described using partial metrics.     

The RAISE language,method and tools

This paper presents the RAISE¹ software development method, its associated specification language, and the tools supporting it. The RAISE method enables the stepwise development of both sequential and concurrent software from abstract specification through design to implementation. All stages of RAISE software development are expressed in the wide-spectrum RAISE specification language. The RAISE tools form an integrated tool environment supporting both language and method.The paper surveys RAISE and furthermore, more detailed presentations of major RAISE results are provided. The subjects of these are (a) an example of the use of the RAISE method and language, and (b) a presentation of the mathematical semantics of the RAISE specification language.     

Granularity issues in a knowledge-based programming environment

Marvel is a knowledge-based programming environment that assists software development teams in performing and coordinating their activities. While designing Marvel, several granularity issues were discovered that have a strong impact on the degree of intelligence that can be exhibited, as well as on the friendliness and performance of the environment. The most significant granularity issues include the refinement of software entities in the software database and decomposition of the software tools that process the entities and report their results to the human users. This paper describes the many alternative granularities and explains the choices made for Marvel.     

On the notation of CALM — common assembly language for microprocessors

Common Assembly Language for Microprocessors (CALM) is a set of notations, independent of any manufacturer but strongly inspired by the best existing assemblers.

The paper contains a discussion of assembler addressing modes and their expressions in CALM. A program example of the Bubble Sort subroutine written for 4 processors (hypothetical, 8085, 8086, 68000) gives an idea of CALM programs.